Internal Categorical Structures in Homotopical Algebra
نویسنده
چکیده
This is a survey on the use of some internal higher categorical structures in algebraic topology and homotopy theory. After providing a general view of the area and its applications, we concentrate on the algebraic modelling of connected (n + 1)-types through cat-groups.
منابع مشابه
A History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملHomotopical Equivalence of Combinatorial and Categorical Semantics of Process Algebra
It is possible to translate a modified version of K. Worytkiewicz’s combinatorial semantics of CCS (Milner’s Calculus of Communicating Systems) in terms of labelled precubical sets into a categorical semantics of CCS in terms of labelled flows using a geometric realization functor. It turns out that a satisfactory semantics in terms of flows requires to work directly in their homotopy category ...
متن کاملAlgebra and Geometry of Rewriting
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduced by Albert Burroni) and polygraphic resolutions (introduced by François Métayer). There are two motivations for such a theory: • providing invariants of computational systems to study those systems and prove propertie...
متن کاملCategorical Aspects of Bivariant K-theory
This survey article on bivariant Kasparov theory and E-theory is mainly intended for readers with a background in homotopical algebra and category theory. We approach both bivariant K-theories via their universal properties and equip them with extra structure such as a tensor product and a triangulated category structure. We discuss the construction of the Baum– Connes assembly map via localisa...
متن کاملSome Higher Coalgebra
Using the derived algebraic formalism of Lurie we describe a framework for coalgebraic structures which are neither necessarily commutative nor cocommutative. We show that Thom spectra and homotopical descent data are both natural examples of this kind of structure.
متن کامل